Nuprl Definition : es-E-interface
11,40
postcript
pdf
E(
X
) == {
e
:E|
(
e
X
)}
latex
clarification:
es-E-interface(
es
;
X
) == {
e
:es-E(
es
)|
(
e
X
)}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
E
,
b
,
e
X
FDL editor aliases
es-E-interface
origin
(e 
X)}
(e X)} (e X)}
(e X)} b X